Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

République populaire de Chine129
Dongming Wang38
République populaire de Chine Sauf Dongming Wang" 125
Dongming Wang Sauf République populaire de Chine" 34
République populaire de Chine Et Dongming Wang 4
République populaire de Chine Ou Dongming Wang 163
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 4.
Ident.Authors (with country if any)Title
008C18 Xiaorong Hou [République populaire de Chine] ; Hongbo Li [République populaire de Chine] ; Dongming Wang [France] ; Lu Yang [République populaire de Chine]"Russian Killer'' No. 2: A Challenging Geometric Theorem with Human and Machine Proofs
009712 Dongming Wang [France] ; Dongdai Lin [République populaire de Chine]A Method for Multivariate Polynomial Factorization over Successive Algebraic Extension Fields
00A136 Xiaorong Hou [République populaire de Chine] ; Dongming Wang [France]Subresultants with the Bézout Matrix
00A250 Xiao-Shan Gao [République populaire de Chine] ; Dongming Wang [France]Computer Mathematics - Proceedings of the Fourth Asian Symposium - ASCM'2000

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022